logoOASIcs, Vol. 58, ICLP 2017
Preliminary Proceedings