author : Maarten H. van Emden

Short works

• Complete sets of frontiers in logic-based program transformation. 1989. (In Meta-Programming in Logic Programming )