selected publications chapter Integration of declarative approaches (System Demonstration). Springer eBooks. 184-192. 1997