@incollection {290835,
	title = {Direct dynamic proofs for compatibility.},
	booktitle = {Computer modeling of scientific reasoning},
	year = {2003},
	pages = {179{\textendash}187},
	publisher = {Universidad Nacional Del Sur. EDIUNS},
	address = {Bahia Blanca, Argentinia},
	isbn = {987-9281-89-6},
	author = {Provijn, Dagmar},
	editor = {Delrieux, Claudio and Legris, Javier}
}
@incollection {J:pcsr,
	title = {Do We Need Paraconsistency in Commonsense Reasoning?},
	booktitle = {Computer Modeling of Scientific Reasoning},
	year = {2003},
	pages = {135{\textendash}146},
	publisher = {Universidad Nacional del Sur. EDIUNS},
	address = {Bahia Blanca, Argentina},
	author = {Meheus, Joke},
	editor = {Delrieux, Claudio and Legris, Javier}
}
