home
>
book reviews
> Paul J. Voda
Google >
Paul J. Voda
author : Paul J. Voda
Short works
The logical reconstruction of cuts as one solution operators. 1989.
(In
Meta-Programming in Logic Programming
)