кто-нибудь слыхал про MFO и FO представление графов в памяти компьютера или что нибудь подобное? помогите

Ну, напряги Google на тему MFO (это, кстати, должно означать Monadic First-Order Logic, или по-русски: Логика Первого Порядка, или нечто иное?)

может быть, я не могу инфы найти на эту тему, инет мне фигвамы рисует, только теорию про графы выдает, а про эту гадость нет, вот и прошу помощь у народа

задание графа массивом приемников вершин- это FO-представление