What is an inference rule?Ronald FaginJoseph Y. Halpernet al.1990Jerusalem Conference on Information Technology 1990
Deadlock-avoidance in a page-parallel batch rasterizerYitzhak Birk1990Jerusalem Conference on Information Technology 1990