We've just launched a new service: our brand new dblp SPARQL query service. Read more about it in our latest blog post or try out some of the SPARQL queries linked on the dblp web pages below.
Ming Xu: Decidability of Stit theory with a single agent and Refref Equivalence.Stud Logica53(2): 259-298 (1994)
