The inference problem for template dependencies (1982)

by Yuri Gurevich, Harry R Lewis
Venue:Information and Control