synthesis: A logical perspective (1981)

by Plan
Venue:In Procceedings of the International Joint Conference on Artifical Intelligence (IJCAI