in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, ISSN: 2075-2180
Volume: 278, Issue: 278, Pages: 34-48 (15)
Conference
5Th Workshop on Horn Clauses for Verification and Synthesis (Hcvs) Held as a Satellite Event of the Federated Logic Conference (Floc), Date: JUL 13, 2018, Location: Oxford, ENGLAND