Extended with Concrete Domains: A Practically Motivated Approach.

Volker Haarslev, Ralf Möller, Michael Wessel

Original languageEnglish
Title of host publicationIJCAR
Number of pages16
Publication date2001
Pages29-44
DOIs
Publication statusPublished - 2001

Cite this