Some kind of magic for (a restriction of) L (1992)

by A Hui Bon Hoa
Venue:In Workshop on Prolog