Binary Absorption in Tableaux-Based Reasoning for Description Logics

Title Binary Absorption in Tableaux-Based Reasoning for Description Logics
Author
Year of Publication
2006
Conference Name
Binary Absorption in Tableaux-Based Reasoning for Description Logics
URL
Download citation