Efficient HEX-Program Evaluation Based on Unfounded Sets

Open in new window