Enviar aquest missatge de text: STAR (simple tool for automated reasoning) : tutorial guide and reference manual / Cary C. Borchardt.