| 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) | |