Create InferenceProcedures.tex