5 papers:
KR-2014-ParentT #reasoning- Aggregative Deontic Detachment for Normative Reasoning (XP, LvdT).
SIGIR-2011-Yom-TovD #physics #social- Out of sight, not out of mind: on the effect of social and physical detachment on information need (EYT, FD), pp. 385–394.
DAC-2010-FujitaYLCAW #power management- Detachable nano-carbon chip with ultra low power (SF, SY, DL, XC, DA, HSPW), pp. 631–632.
CADE-1997-FuchsF #named #problem #proving- CODE: A Powerful Prover for Problems of Condensed Detachment (DF, MF), pp. 260–263.
- CADE-1992-McCuneW #automation #deduction
- Experiments in Automated Deduction with Condensed Detachment (WM, LW), pp. 209–223.
