Spijkerman, Marjolein (2019) Tableau Solver for KFDE. Bachelor's Thesis, Artificial Intelligence.