All about Proofs, Proofs for All, Bruno Woltzenlogel Paleo and David Delahaye, Eds., College Publications, Series Mathematical L

this article: http://journals.cambridge.org/abstract_S1471068415000125 How to cite this article: Victor W. Marek Theory and Practice of Logic Programming, Available on CJO 2015 doi:10.1017/ S1471068415000125 Request Permissions : Click here Downloaded from http://journals.cambridge.org/TLP, IP address: 98.19.5.204 on 18 Aug 2015 

• Type: Journal
• Year: 2016
• Where: TPLP
• Authors: Victor W. Marek
• Keywords: TPLP 2016