On the Performance of Lazy Matching in Production Systems. - Daniel P. Miranker; David A. Brant; Bernie J. Lofaso; David Gadbois (AAAI, 1990)

Discovering Procedural Executions of Rule-Based Programs. - David Gadbois; Daniel P. Miranker (AAAI, 1994)

A New Approach to Modularity in Rule-Based Programming. - James C. Browne; E. Allen Emerson; Mohamed G. Gouda; Daniel P. Miranker; Aloysius K. Mok; Roberto J. Bayardo Jr.; Sarah E. Chodrow; David Gadbois; F. Furman Haddix; Thomas W. Hetherington; Lance Obermeyer; Duu-Chung Tsou; et al. (ICTAI, 1994)