Peter Clote 103-122 Inf. Comput. August 1995 121 1 db/journals/iandc/iandc121.html#Clote95