Publications - 1976 Levesque, H., Mylopoulos, J., Schneider, P., Tsotsos, J., & Wong, H. (1976). A formalism for modelling. Proceedings of the First CSCSI/SCEIO Conference, 243-254.
