author : Paul J. Voda

Short works

• The logical reconstruction of cuts as one solution operators. 1989. (In Meta-Programming in Logic Programming )