2provethattrs-Resolutionissoundandcomplete.infact published presentations and documents on DocSlides.
