Chen Avin, Rachel Ben-Eliyahu-Zohary. An upper bound on computing all X-minimal models. AI Commun., 20(2):87-92, 2007. [doi]
@article{AvinB07,
title = {An upper bound on computing all X-minimal models},
author = {Chen Avin and Rachel Ben-Eliyahu-Zohary},
year = {2007},
url = {http://iospress.metapress.com/openurl.asp?genre=article&issn=0921-7126&volume=20&issue=2&spage=87},
researchr = {https://researchr.org/publication/AvinB07},
cites = {0},
citedby = {0},
journal = {AI Commun.},
volume = {20},
number = {2},
pages = {87-92},
}