@article{tplp/CarbonnelleVDB23,
    title={Interactive Model Expansion in an Observable Environment}, 
    volume={23}, 
    DOI={10.1017/S1471068423000261}, 
    number={4}, 
    journal={Theory and Practice of Logic Programming}, 
    author={CARBONNELLE, PIERRE and VENNEKENS, JOOST and DENECKER, MARC and BOGAERTS, BART}, 
    year={2023}, pages={648--663}
}