Hähnle, Reiner ; Murray, Neil ; Rosenthal, Erik
Hrsg.: Hacid, Mohand-Saïd ; Raś, Zbigniew ; Murray, Neil ; Tsumoto, Shusaku (2005)
Normal Forms for Knowledge Compilation.
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner ; Murray, Neil ; Rosenthal, Erik
Hrsg.: Raś, Zbigniew ; Skowron, Andrzej (1997)
Completeness for Linear Regular Negation Normal Form Inference Systems.
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner
Hrsg.: Komorowski, Jan ; Raś, Zbigniew (1993)
Short CNF in Finitely-Valued Logics.
Konferenzveröffentlichung, Bibliographie