Thedescriptionlogichandbook Theory,implementation,andapplication. Cambridge.