Return to Article Details A Logic-Based Approach to Automatically Validate Knowledge-intensive Processes Download Download PDF