Decidable subcases of the equivalence problem for recursive program schemes Bruno Courcelle, Jean H. Gallier (1987) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Deduction over graphs under constraints : a soundness and completeness theorem Seyed-Kazem Lellahi, Nicolas Spyratos (1993) Diagrammes
Demonic semantics: using monotypes and residuals. Tchier, F. (2004) International Journal of Mathematics and Mathematical Sciences