Michael J. Miller Donald Perlis Automated Inference in Active Logics. 1996 6 Journal of Applied Non-Classical Logics 1 db/journals/jancl/jancl6.html#MillerP96