7 papers:
IJCAR-2014-BeesonW #geometry #proving- OTTER Proofs in Tarskian Geometry (MB, LW), pp. 495–510.
KEOD-2011-Tinsley #ontology #realtime- OTTER Project — Ontology Technology that Executes Real-time: Project Status (TAT), pp. 521–527.
- IJCAR-2001-FormisanoOT #equation
- Instructing Equational Set-Reasoning with Otter (AF, EGO, MT), pp. 152–167.
HPDC-1998-QuinnMS #matlab #named- Otter: Bridging the Gap between MATLAB and ScaLAPACK (MJQ, AGM, NS), pp. 114–121.
DAC-1994-GuptaP #named #termination- OTTER: Optimal Termination of Transmission Lines Excluding Radiation (RG, LTP), pp. 640–645.
CADE-1994-BourelyCP #automation #modelling- A Method for Building Models Automatically. Experiments with an Extension of OTTER (CB, RC, NP), pp. 72–86.
- CADE-1994-SlaneyLM #named #semantics
- SCOTT: Semantically Constrained Otter System Description (JKS, ELL, WM), pp. 764–768.
