TY - BOOK AU - Sandro Etalle, Mirosław Truszczyński TI - Logic Programming SN - 978-3-540-36636-2 PY - 2006/// CY - Germany PB - Springer KW - Computer Science KW - Logic Programming UR - http://link.springer.com/openurl?genre=book&isbn=978-3-540-36635-5 ER -