@Article{thielscher:JLP97,
  author = 	"Sven-Erik Bornscheuer and Michael Thielscher",
  title = 	"Explicit and Implicit Indeterminism\/: Reasoning
                  about Uncertain and Contradictory Specifications of
                  Dynamic Systems",
  journal = 	"Journal of Logic Programming. Special issue on
                  reasoning about action and change",
  year = 	"1997",
  volume = 	"31",
  number = 	"1--3",
  pages = 	"119--155"
}