A finite termination criterion (1978)

by D Lankford, D Musser
Venue:Unpublished Draft. USC Information Sciences Institute