### 5 papers:

- RTA-1999-Marcinkowski #algebra #formal method
- Undecidability of the exists*forall* Part of the Theory of Ground Term Algebra Modulo an AC Symbol (JM), pp. 92–102.
- CADE-1994-ChazarainK #induction #proving
- Mechanizable Inductive Proofs for a Class of Forall Exists Formulas (JC, EK), pp. 118–132.
- POPL-1987-MannaP #concurrent #source code #specification #verification
- Specification and Verification of Concurrent Programs By Forall-Automata (ZM, AP), pp. 1–12.
- VLDB-1978-Senko #design #implementation
- FORAL LP: Design and Implementation (MES), pp. 255–267.
- VLDB-1975-Senko #data type #specification
- Specification of Stored Data Structures and Desired Output Results in DIAM II with FORAL (MES), pp. 557–571.