Alex Dekhtyar Michael I. Dekhtyar V. S. Subrahmanian Temporal Probabilistic Logic Programs. 109-123 1999 ICLP db/conf/iclp/iclp99.html#DekhtyarDS99