Efficient Analysis of Reactive Properties of Concurrent Constraint Logic Programs.

Michael Codish Moreno Falaschi Kim Marriott William H. Winsborough Efficient Analysis of Reactive Properties of Concurrent Constraint Logic Programs. 35-42 1992 WSA db/conf/sas/wsa92.html#CodishFMW92