in AUTOMATED REASONING, IJCAR 2018 in Lecture Notes in Artificial Intelligence, ISSN: 0302-9743
Volume: 10900, Pages: 627-645 (19)
Conference
9Th International Joint Conference on Automated Reasoning (Ijcar) Held as Part of the Federated Logic Conference (Floc), Date: JUL 14-17, 2018, Location: Oxford, ENGLAND, Sponsors: European Assoc Artificial Intelligence
