autore : Salvador Abreu

1 rivista
book Theory and Practice of Logic Programming (TPLP)