4 papers:
KR-2014-BotoevaKRWZ #knowledge base #logic #query- Query Inseparability for Description Logic Knowledge Bases (EB, RK, VR, FW, MZ).
SIGIR-2009-ShiN- Integrating phrase inseparability in phrase-based model (LS, JYN), pp. 708–709.
CSL-1992-AanderaaJ #linear #logic #recursion- Recursive Inseparability in Linear Logic (SA, HRJ), pp. 5–13.
- CSL-1988-Gradel #complexity #modelling #nondeterminism
- Size of Models versus Length of Computations: On Inseparability by Nondeterministic Time Complexity Classes (EG), pp. 118–137.
