Summary
This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.
Authors: Laura Kovacs, Andrei Voronkov
Journal title: Proceedings of the 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR)
Journal number: EasyChair EPiC Series in Computing 46
Journal publisher: EasyChair
Published year: 2017
Published pages: 49-64
Search
Associated projects
Organisations
- Not specified