October 2021, Master’s thesis, TU Wien, Institute of Logic and Computation.
Note: supervised by G. Raidl and E. Rönnberg and M. Huber, winner of the Austrian OCG Förderpreis 2022