View on Semantic Scholar / Google Scholar / ACL Anthology / DBLP

2022

2021

2020

2019

2018

2016

  1. Proving Infinitary Formulas
    Amelia Harrison, Vladimir Lifschitz and Julian Michael
    TPLP Vl. 16, 5–6; Presented at ICLP 2016
    s2 pdf bib

2015

,