www-ai.cs.tu-dortmund.de/PublicPublicationFiles/lindner_94b.pdf
ls8_report_12.dvi
:P1(E,X1) & P2(E,Y1) & P3(E,X1) & P4(E,Y2) &
ne(Y1,Y2) --> C(E).
m2(P1,P2,P3,P4,C) :P1(E,X1) & P2(E,Y1) & P3(E,X1) & P4(E,Y1)
--> C(E).
m3(P1,P2,P3,P4,P5,C):P1(E,X1) & P2(E,Y1) & P3(E,X2) & P4(E,Y2) &
P5(X1 [...] X2,Y2) & P3(X1,X2) &
P3(Y1,Y2) --> C(I).
krk2_m5(P1,P2,P3,C): P1(I,X1,Y1) & P2(I,X2,Y1) & P3(I,X3,Y1) &
lt(X2,X1) & lt(X3,X1) & ne(X2,X3) --> C(I).
krk2_m6(P1,P2,P3,C): P1(I,X1,Y1) & P2(I,X2,Y1) & P3(I,X3 [...] X3,Y1) &
lt(X1,X2) & lt(X1,X3) & ne(X2,X3) --> C(I).
krk2_m7(P1,P2,P3,C): P1(I,X1,Y1) & P2(I,X1,Y2) & P3(I,X1,Y3) &
lt(Y2,Y1) & lt(Y3,Y1) & ne(Y2,Y3) --> C(I).
krk2_m8(P1,P2,P3,C): P1(I,X1,Y1) & P2(I,X1 …