1. Abstract gringo. Issue 4 (3rd September 2015) Authors: GEBSER, MARTIN; HARRISON, AMELIA; KAMINSKI, ROLAND; LIFSCHITZ, VLADIMIR; SCHAUB, TORSTEN Editors: Eiter, Thomas; Toni, Francesca Journal: Theory and practice of logic programming Issue: Volume 15:Issue 4/5(2015) Page Start: 449 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Achievements in answer set programming*. Issue 5 (30th August 2017) Authors: LIFSCHITZ, VLADIMIR Editors: Rocha, Ricardo; Cao Son, Tran Journal: Theory and practice of logic programming Issue: Volume 17:Issue 5/6(2017) Page Start: 961 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Here and There with Arithmetic. Issue 6 (23rd November 2021) Authors: LIFSCHITZ, VLADIMIR Journal: Theory and practice of logic programming Issue: Volume 21:Issue 6(2021) Page Start: 735 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. On equivalence of infinitary formulas under the stable model semantics. Issue 1 (January 2015) Authors: HARRISON, AMELIA; LIFSCHITZ, VLADIMIR; TRUSZCZYNSKI, MIROSLAW Journal: Theory and practice of logic programming Issue: Volume 15:Issue 1(2015) Page Start: 18 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Program completion in the input language of GRINGO*. Issue 5 (23rd August 2017) Authors: HARRISON, AMELIA; LIFSCHITZ, VLADIMIR; RAJU, DHANANJAY Editors: Rocha, Ricardo; Cao Son, Tran Journal: Theory and practice of logic programming Issue: Volume 17:Issue 5/6(2017) Page Start: 855 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Proving infinitary formulas. Issue 5 (14th October 2016) Authors: HARRISON, AMELIA; LIFSCHITZ, VLADIMIR; MICHAEL, JULIAN Editors: Carro, Manuel; King, Andy Journal: Theory and practice of logic programming Issue: Volume 16:Issue 5/6(2016) Page Start: 787 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Relating Two Dialects of Answer Set Programming. Issue 5 (September 2019) Authors: HARRISON, AMELIA; LIFSCHITZ, VLADIMIR Journal: Theory and practice of logic programming Issue: Volume 19:Issue 5/6(2019) Page Start: 1006 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Stable models for infinitary formulas with extensional atoms. Issue 5 (14th October 2016) Authors: HARRISON, AMELIA; LIFSCHITZ, VLADIMIR Editors: Carro, Manuel; King, Andy Journal: Theory and practice of logic programming Issue: Volume 16:Issue 5/6(2016) Page Start: 771 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Verifying Tight Logic Programs with anthem and vampire. Issue 5 (September 2020) Authors: FANDINNO, JORGE; LIFSCHITZ, VLADIMIR; LÜHNE, PATRICK; SCHAUB, TORSTEN Journal: Theory and practice of logic programming Issue: Volume 20:Issue 5(2020) Page Start: 735 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗