Naive reverse can be linear (1991)

by P Brisset, O Ridoux
Venue:8th Int. Conf. Logic Programming