@Article{thielscher:TPLP11,
  author = 	"Conrad Drescher and Michael Thielscher",
  title = 	"ALPprolog---A New Logic Programming Method for Dynamic Domains",
  journal = 	"Theory and Practice of Logic Programming (ICLP'11 Special Issue)",
  year = 	2011,
  volume = 	"11",
  number = 	"4--5",
  pages = 	"451--468"
}