da Costa, N.C.A.; Abe, JM.; Subrahmanian, V.S., Remarks on Annotated Logic, Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik. Vol. 37, pp.561-570. 1991.

Languages mentioned

• ParaLog {1987}