Switch to: References

Add citations

You must login to add citations.
  1. Algebraic tableau reasoning for the description logic SHOQ.Jocelyne Faddoul & Volker Haarslev - 2010 - Journal of Applied Logic 8 (4):334-355.