BibTex format
@inproceedings{Aspis:2018,
author = {Aspis, Y and Broda, K and Russo, A},
pages = {68--75},
publisher = {CEUR Workshop Proceedings},
title = {Tensor-based abduction in horn propositional programs},
url = {http://hdl.handle.net/10044/1/64299},
year = {2018}
}