RML -- A New Language and Implementation for Natural Semantics (1994)

by Mikael Pettersson
Venue:PROCEEDINGS OF THE 6TH INTERNATIONAL SYMPOSIUM ON PROGRAMMING LANGUAGE IMPLEMENTATION AND LOGIC PROGRAMMING, PLILP, VOLUME 884 OF LNCS