1. NEED TO GO THROUGH A FILTER.
S2[
    JOURNAL[
        CITKEY(@citkey=x1){functional},
        JRNLNM(@journalname [KEY]=x2){functional}]]
:-
Document(Y1),Journal(Y2),[cites:cites](Y2,Y1),
Doc.key(Y1,x1),Doc.Title(Y2,x2).

2. NEED TO GO THROUGH A FILTER.
S2[
    JOURNAL[
        CITKEY(@citkey=x1){functional},
        JRNLNM(@journalname [KEY]=x2){functional}]]
:-
Document(Y1),Journal(Y2),Periodical-Publication(Y3),
isa(Y3,Y1),isa(Y2,Y3),Doc.key(Y1,x1),
Doc.Title(Y2,x2).

3. NEED TO GO THROUGH A FILTER.
S2[
    JOURNAL[
        CITKEY(@citkey=x1){functional},
        JRNLNM(@journalname [KEY]=x2){functional}]]
:-
Document(Y1),Journal(Y2),Article(Y3),
isa(Y3,Y1),hasArticles(Y2,Y3),Doc.key(Y1,x1),
Doc.Title(Y2,x2).