Fourth International Conference on Algebraic and Logic Programming (Elsevier, 1996)
In: Theoretical computer science ; 165 (996), 1