### 9 papers:

- MoDELS-2014-MaraeeB #diagrams #uml
- Removing Redundancies and Deducing Equivalences in UML Class Diagrams (AM, MB), pp. 235–251.
- MoDELS-2014-MaraeeB #diagrams #uml
- Removing Redundancies and Deducing Equivalences in UML Class Diagrams (AM, MB), pp. 235–251.
- CADE-2013-Comon-LundhCS #deduction
- Tractable Inference Systems: An Extension with a Deducibility Predicate (HCL, VC, GS), pp. 91–108.
- ITiCSE-2010-AlemanO #implementation
- SAMtool, a tool for deducing and implementing loop patterns (JLFA, YO), pp. 68–72.
- ICLP-2006-Wong #logic programming #source code
- Deducing Logic Programs (KSW), pp. 471–472.
- SEKE-1994-Hurley #user interface
- Deducing structure in systems with separable user interfaces (WDH), pp. 193–200.
- JICSCP-1988-FooRTW88 #deduction
- Deduced Relevant Types and Constructive Negation (NYF, ASR, AT, AW), pp. 126–139.
- ICALP-1981-MeyerSM #deduction #logic #problem
- The Deducibility Problem in Propositional Dynamic Logic (ARM, RSS, GM), pp. 238–248.
- POPL-1978-DowneySS #algorithm #online
- Off-Line and On-Line Algorithms for Deducing Equalities (PJD, HS, RS), pp. 158–170.