Donald A. Smith MixLog: a generalized rule-based language. 21-36 1997 conf/jfplc/1997 JFPLC db/conf/jfplc/jfplc1997.html#Smith97