Akihiro Yamamoto Short Note: Procedural Semantics and Negative Information of Elementary Formal System. 89-97 1992 13 J. Log. Program. 1 db/journals/jlp/jlp13.html#Yamamoto92