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.
