1997 | ||
---|---|---|
2 | Christopher P. Higgins: On Integrating Objects and Relations Using Multimethods. J. Log. Program. 30(3): 205-221 (1997) | |
1996 | ||
1 | Christopher P. Higgins: On the Declarative and Procedural Semantics of Definite Metalogic Programs. J. Log. Comput. 6(3): 363-407 (1996) |