Naive Reverse can be Linear (1991)

by Pascal Brisset, Olivier Ridoux
Venue:8th Int. Conf. Logic Programming