Orkunt Sabuncu. Using model generation theorem provers for the computation of answer sets (Yanıt kümelerinin hesaplanmasında model oluşturabilen teorem ispatlayıcılarının kullanılması). PhD thesis, Middle East Technical University, Turkey, 2009. [doi]
No reviews for this publication, yet.