John Case Timo Kötzing Dynamically Delayed Postdictive Completeness and Consistency in Learning. 389-403 2008 ALT http://dx.doi.org/10.1007/978-3-540-87987-9_32 conf/alt/2008 db/conf/alt/alt2008.html#CaseK08