Publication:4553283
From MaRDI portal
DOI10.23638/LMCS-14(4:12)2018zbMath1403.68044arXiv1702.06259MaRDI QIDQ4553283
Cesare Tinelli, Andrew Reynolds, Clark Barrett, Kshitij Bansal
Publication date: 2 November 2018
Full work available at URL: https://arxiv.org/abs/1702.06259
Uses Software