Christoph Brzoska Karl Schäfer Temporal Logic Programming Applied to Image Sequence Evaluation. 381-395 1995 Logic Programming: Formal Methods and Practical Applications db/books/collections/BeierleP95.html#BrzoskaS95