Graham, N.T.C.N.T.C.Graham2022-03-082022-03-081992https://publica.fraunhofer.de/handle/publica/320712entemporal logicconstraint programming004005006Temporal constraint functional programmingconference paper