Natural Semantics and Some of its Meta-Theory in Elf (1991)

by Spiro Michaylov , Frank Pfenning
Venue:PROCEEDINGS OF THE SECOND INTERNATIONAL WORKSHOP ON EXTENSIONS OF LOGIC PROGRAMMING
Citations:44 - 14 self