Rule-Based Reasoning, Programming, and Applications - Bassiliades, Nick; Governatori, Guido; Kanade, Takeo; Paschke, Adrian (Springer Berlin Heidelberg, 2011)
Keywords: Information Technology -- Software Engineering