by Bonatti, Piero A., Ioffredo, Luca, Petrova, Iliana M., Sauro, Luigi, Siahaan, Ida R.
Published in Artificial intelligence (01.12.2020)

by Bollig, Beate, Buttkus, Matthias
Published in Theory of computing systems (01.08.2019)

by Bollig, Beate, Buttkus, Matthias
Published in Theory of computing systems (01.07.2020)

by Darwiche, Adnan, Marquis, Pierre
Published in Artificial intelligence (01.08.2004)

by Eiter, Thomas, Erdem, Esra, Faber, Wolfgang
Published in Journal of applied logic (01.09.2008)

Published in Tools and Algorithms for the Construction and Analysis of Systems (2019)

by Bollig, Beate, Buttkus, Matthias
Year of Publication 13.02.2018

by Nur, Septia, Roza, Yenita, Maimunah, Mauimunah
Published in Daya Matematis: Jurnal Inovasi Pendidikan Matematika (28.06.2021)

by Bonatti, P. A, Ioffredo, L, Petrova, I, Sauro, L, Siahaan, I. R
Year of Publication 15.01.2020

by Bollig, Beate, Buttkus, Matthias
Published in arXiv.org (13.02.2018)

by Bonatti, P A, Ioffredo, L, Petrova, I, Sauro, L, Siahaan, I R
Published in arXiv.org (15.01.2020)

by Boshuizen, Henny P. A, Schmidt, Henk G
Year of Publication 01.04.1990