## Author:Laura Kovács
## Keyphrasesautomated reasoning, automated theorem proving, Avatar, clause normal form, consequence finding, first-order theorem proving, FOOL, interpolation, invariant generation |

| ||||||||||||

Copyright © 2012-2017 easychair.org. All rights reserved. |