Checking the quality of clinical guidelines using automated reasoning tools.

Published in: Theory Pract. Log. Program. (2008)

Keyphrases