Krysia Broda Marcello D'Agostino Rajeev Goré Rob Johnson Steve Reeves 826 1995 3 Logic Journal of the IGPL 6 http://dx.doi.org/10.1093/jigpal/3.6.826 db/journals/igpl/igpl3.html#BrodaDGJR95