@book{31570,
	author = {Ligeza, Antoni},
	title = {Logical foundations for rule-based systems /},
	publisher = {Springer,},
	year = {c2006},
	address = {Berlin :},
	edition = {2nd ed.},
	url = {http://www.loc.gov/catdir/enhancements/fy0663/2005932569-d.html}
}