A new data structure for implementing extensions to Prolog (1990)

by Serge Le Huitouze
Venue:PLILP'90, LNCS 456