An integrated development environment for declarative multi-paradigm programming (2001)

by M Hanus, J Koj
Venue:In Proc. of the International Workshop on Logic Programming Environments (WLPE’01