- http://www.decom.cefetmg.br/docentes/cesar/classes/md/aula6.pdf
- ftp://ftp.dca.fee.unicamp.br/pub/docs/vonzuben/ea072_2s06/notas_de_aula/log_prop.pdf
- http://osofista.wordpress.com/2009/04/27/regras-de-inferencia/
- http://www.youtube.com/watch?v=d4TfHNhD0Ew
- http://www.youtube.com/watch?v=ZtdzPGxjty0&feature=related
- http://youtu.be/76tBL0Om7I0
- http://youtu.be/lc-OTREOcZ8
