Petra Selmer

	2009
1		Roman Kontchakov, Luca Pulina, Ulrike Sattler, Thomas Schneider, Petra Selmer, Frank Wolter, Michael Zakharyaschev: Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers. IJCAI 2009: 836-841

Coauthor Index

1	Roman Kontchakov	[1]
2	Luca Pulina	[1]
3	Ulrike Sattler	[1]
4	Thomas Schneider	[1]
5	Frank Wolter	[1]
6	Michael Zakharyaschev	[1]