Concurrency in proof normalization and logic programming (1985)

by S Goto
Venue:In Internatioinal Joint Conference on Arti Intelligence '85