LARA This is an old revision of the document! Monotonicity of semantic consequence Sets of sentences with only finite and with only infinite models Herbrand universe Resolution proofs