A generic program for sequential decision processes (1995)

by O de Moor
Venue:In PLILPS ’95 Proceedings of the 7th International Symposium on Programming Languages: Implementations, Logics and Programs