[1] Journal of Symbolic Logic (informationswissenschaftl. Veröffentlichungen)

[2] Jet Select Logic (->"NASA Acronym List")