Reasoning about layered, wildcard and product patterns (0)

by Delia Kesner
Venue:Proceedings of the Fourth International Conference on Algebraic and Logic Programming (ALP), number 850 in Lecture