.

Published in: RuleML (2007)