synthesis: A logical perspective (1981)

by Plan
Venue:In Proc. of the 7th International Joint Conference on Artificial Intelligence