Real-time simulation of a set machine on a (1989)

by R Paige
Venue:Pai89] [PH87] [PK82] [Rov77] [Sch75a] [Sch75b] [Sch75c