00497nam a2200181Ia 450000500170000000800460001703700100006304000080007304000080008104000080008904100080009704100080010508400080011310000100012124501130013126000090024485600620025320260320201435.0008  262003s9999    xx            000 0 eng d  aEBOOK  aCRL  beng  cCRL  2eng  aeng  qCRL  aMaher 0aLogic Programming: Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming  bIEEE  uhttps://ieeexplore.ieee.org/servlet/opac?bknumber=6267515