A Theory of Singly-Linked Lists and its Extensible Decision Procedure.

Silvio Ranise, Calogero G. Zarba

Browse the full SEFM paper archive.