A Fact Dependency System for the Logic Programmer

Peter S. G. Swinson
Aart Bijl
Computer-Aided Design, 14 (1983), pp. 235-243

Abstract