Elaheh Ghassabani

2018

Jaroslav Bendík, Elaheh Ghassabani, Michael W. Whalen, and Ivana Černá:
Online Enumeration of All Minimal Inductive Validity Cores,
SEFM, Springer, 2018, volume 10886 of Lecture Notes in Computer Science, 189–204. [bibtex]